Unicité forte à l'infini pour KdV

Ensembles d ’ unicité pour les polynômes ∗

Let E ⊂ C be a compact set of positive logarithmic capacity. Let us suppose that for every polynomial P = id we have P −1 (E) = E. Then for all no constant polynomials f and g such that f −1 (E) = g −1 (E) we have f = g.

Capacité générative forte de RST, SDRT et des DAG de dépendances pour le discours

RÉSUMÉ. Cet article se propose de comparer les structures de discours proposées en RST, SDRT et dans les DAG de dépendances prolongeant le niveau sémantique de MTT pour le discours. Le point central est le suivant : est-ce que ces formalismes permettent de représenter toutes les structures de discours qui correspondent à des discours bien construits et excluent toutes celles qui ne corresponden...

Modèles d'auto-organisation pour l'émergence de formes urbaines à partir de comportements individuels à Bogota

Une aide à la coopération interentreprises pour la production à la commande

RÉSUMÉ. Cet article propose une méthode d’aide à la coopération interentreprises dans le cadre d’une production à la commande. L’approche retenue assimile le problème d’organisation globale à un processus de décision distribuée dans lequel l’organisation est progressivement construite par un ensemble de coopérations entre des couples d’acteurs du réseau d’entreprises. Nous étudions en particuli...

Dedal : Un ADL à trois dimensions pour gérer l'évolution des architectures à base de composants

Résumé. Une architecture logicielle peut être définie à différents niveaux d’abstraction, correspondants aux différentes étapes de son processus de développement : spécification, implémentation et déploiement. La cohérence entre les différentes définitions d’une architecture doit être maintenue : sa définition à un niveau d’abstraction doit être conforme à sa définition au niveau d’abstraction ...